Research on schedulability analysis algorithm of airborne multi partition system

Partition operating system conforming to ARINC653 is widely used in airborne support application software integration. Under the two-level scheduling model for partition system, demanding real-time requirements of are usually difficult obtain effective deterministic guarantee, so it very important analyze schedulability system. Judging whether table can meet process through analysis algorithm an means ensure that all processes complete computing task within specified time. Based on method operations research and introduction virtual process, a multi designed, numerical verification carried out. The results show accurately judge matches time attribute, give qualitative conclusion be scheduled, help integrator verify rationality before actual operation reduce risk test flight test.